Robinson’s consistency theorem in soft model theory

Robinson's Consistency Theorem in Soft Model Theory

In a soft model-theoretical context, we investigate the properties of logics satisfying the Robinson consistency theorem; the latter is for many purposes the same as the Craig interpolation theorem together with compactness. Applications are given to H. Friedman's third and fourth problem. Introduction. No extension of first order logic is known which is axiomatizable and/or countably compact, ...

A Consistency Theorem

Soft arc consistency revisited

Article history: Received 31 January 2009 Received in revised form 25 January 2010 Accepted 28 January 2010 Available online 2 February 2010

Optimal Soft Arc Consistency

The Valued (VCSP) framework is a generic optimization framework with a wide range of applications. Soft arc consistency operations transform a VCSP into an equivalent problem by shifting weights between cost functions. The principal aim is to produce a good lower bound on the cost of solutions, an essential ingredient of a branch and bound search. But soft AC is much more complex than tradition...

Consistency of the Adiabatic Theorem

The adiabatic theorem provides the basis for the adiabatic model of quantum computation. Recently the conditions required for the adiabatic theorem to hold have become a subject of some controversy. Here we show that the reported violations of the adiabatic theorem all arise from resonant transitions between energy levels. In the absence of fast driven oscillations the traditional adiabatic the...